lukutapa sille, että kaksi lausetta P ja Q on keskenään ekvivalentteja eli P:n totuusarvo riippuu Q:sta niin, että Q on P:n välttämätön ja riittävä ehto; bikonditionaalinen looginen konnektiivi kahden lauseen välillä, missä kumpikin lause on totuusarvoltaan joko tosi tai epätosi; vain ja ainoastaan jos, täsmälleen jos